61. Object-Oriented Programming :
Author: by Hanspeter Mössenböck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Oberon.,Object-oriented programming (Computer science),Operating systems (Computers)
Classification :
QA76
.
64
B943
1993
62. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
63. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
64. Practical guide to computer simulations
Author: Hartmann, Alexander K.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer simulation,، C )Computer program language(,، Algorithms,، Debugging in computer science
Classification :
QA
76
.
9
.
C65
H365
65. Principles of security and trust :
Author: Lujo Bauer, Ralf Küsters (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
Classification :
QA76
.
9
.
A25
P67
2018eb
66. Programming in Modula-3 :
Author: László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Informatik,MODULA.,Modula-3 (Computer program language)
Classification :
QA76
.
73
.
M64
L379
1996
67. Python Programming Fundamentals
Author: by Kent D. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Python (Computer program language).
68. Python programming fundamentals /
Author: Kent D. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Python (Computer program language),Python (Computer program language)
Classification :
QA76
.
73
.
P98
69. Rational Drug Design
Author: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Numerical analysis.
70. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
71. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.
72. Semantics for concurrency :
Author: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Parallel programming,Parallel programming (Computer science)
Classification :
QA76
.
6
E358
1990
73. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
74. The NURBS Book
Author: by Les Piegl, Wayne Tiller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Spline theory -- Data processing.
Classification :
QA224
.
B954
1995
75. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
76. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
